1. Aspects of basic logic
پدیدآورنده : M. A. Behrostaghi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Heyting algebra,Mathematics,Pure sciences,Stone representation
2. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
4. Extensional Godel functional interpretation; a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
306
5. Extensional Godel functional interpretation : a consistency proof of classical analysis
پدیدآورنده : Luckhardt, Horst
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Proof theory,، Intuitionistic mathematics
رده :
QA
9
.
L8
1973
6. Foundations:
پدیدآورنده : edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
7. Fundamentals of artificial intelligence research :
پدیدآورنده : Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
8. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
پدیدآورنده : Edited by A. Kino, J. Myhill and R. E. Vesley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742
9. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
10. Mathematical intuitionism : introduction to proof theory
پدیدآورنده : Dragalin, Albert Grigorevich
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
D7313
1988
11. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
12. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
14. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
15. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
16. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
T84
1968
17. Proof Theory
پدیدآورنده : by Kurt Schütte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.
18. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
19. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory
رده :
E-BOOK
20. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
